Free shipping on all orders! No minimum purchase required.
Software Safety and Security
by T. Nipkow (Editor), O. Grumberg (Editor)
Computer Aided Verification
by O. Grumberg (Editor)
Software Systems Safety
by O. Grumberg (Editor), H. Seidl (Editor), Maximilian Irlbeck (Editor)
